Implicative Quasi-Semi-Lattices
نویسندگان
چکیده
In this paper, we introduce implicative quasi-semi-lattices as a generalization of semi-lattices. We give the definition and present related properties an quasi-semi-lattice. Moreover, show that there exists isomorphism between lattice filters quasi-semi-lattice filter congruences on
منابع مشابه
Quasi-Implicative Lattices and the Logic of Quantum Mechanics
Mittelstaedt has defined the class of quasi-implicative lattices and shown that an ortholattice (orthocomplemented lattice) is quasi-implicative exactly if it is orthomodular (quasi-modular). He has also shown that the quasi-implication operation is uniquely determined by the quasi-implicative conditions. One of Mittelstaedt's conditions, however, seems to lack immediate intuitive motivation. C...
متن کاملQuasi-Modal Lattices
We introduce the class of bounded distributive lattices with two operators, and ∇, the first between the lattice and the set of its ideals, and the second between the lattice and the set of its filters. The results presented can be understood as a generalization of the results obtained by S. Celani.
متن کاملSubtyping Constraints in Quasi-lattices
In this report, we show the decidability and NP-completeness of the satisfiability problem for non-structural subtyping constraints in quasi-lattices. This problem, first introduced by Smolka in 1989, is important for the typing of logic and functional languages. The decidability result is obtained by generalizing Trifonov and Smith’s algorithm over lattices, to the case of quasi-lattices. Simi...
متن کاملQuasi-isometric Co-hopficity of Non-uniform Lattices in Rank-one Semi-simple Lie Groups
We prove that if G is a non-uniform lattice in a rank-one semisimple Lie group = Isom(H2 R ), then G is quasi-isometrically co-Hopf. This means that every quasi-isometric embedding G → G is coarsely surjective and thus is a quasi-isometry.
متن کاملQuasi-semi-stable representations
Fix K a p-adic field and denote by GK its absolute Galois group. Let K∞ be the extension of K obtained by adding p-th roots of a fixed uniformizer, and G∞ ⊂ GK its absolute Galois group. In this article, we define a class of p-adic torsion representations of G∞, named quasi-semi-stable. We prove that these representations are “explicitly” described by a certain category of linear algebra object...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in artificial intelligence and applications
سال: 2022
ISSN: ['1879-8314', '0922-6389']
DOI: https://doi.org/10.3233/faia220389